Logic in computer science - PDFSEARCH.IO - Document Search Engine

Logic in computer science
Results: 2713

#	Item
291	ACTIONS AND OTHER EVENTS IN SITUATION CALCULUS John McCarthy Computer Science Department Stanford University Stanford, CA 94305 Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2002-03-26 18:19:36 Logic in computer science Logic programming Situation calculus Z notation Fluent S
292	Abstracts Abstracts are listed in the order of presentation. Monday, 18 April Bin Packing: From Theory to Experiment and Back Again David S. Johnson Add to Reading List Source URL: events.cs.bham.ac.uk Language: English - Date: 2011-04-13 17:03:53 Logic in computer science Formal methods Philosophical logic Metalogic Formal verification Theoretical computer science First-order logic Modal logic Logic Mathematical logic P versus NP problem Automated theorem proving
293	Proving Autonomous Vehicle and Advanced Driver Assistance Systems Safety Add to Reading List Source URL: utc.ices.cmu.edu Language: English - Date: 2016-05-26 15:13:50 Formal systems Proof theory Logic in computer science Formal methods Theoretical computer science KeY Automated theorem proving Mathematical proof Formal verification Mathematical logic Modal logic Dynamic logic
294	Call for Workshop Proposals LICS 2011 26th IEEE Symposium on Logic In Computer Science http://www2.informatik.hu-berlin.de/lics/lics11/ The twenty-sith IEEE Symposium on Logic In Computer Science (LICSwill be held Add to Reading List Source URL: lics.rwth-aachen.de Language: English - Date: 2012-10-30 04:29:33 Logic in computer science Symposium on Logic in Computer Science
295	Extending PSL with Fuzzy Quantifiers Golnoosh Farnadi1,2 , Stephen H. Bach3 , Marie-Francine Moens2 , Lise Getoor4 , Martine De Cock1,5 1 Department of Applied Mathematics, Computer Science and Statistics, Ghent Universi Add to Reading List Source URL: stephenbach.net Language: English - Date: 2014-11-19 16:25:18 Fuzzy logic Quantification Logic in computer science Artificial intelligence Non-classical logic Probabilistic soft logic Fuzzy set Quantifier Fuzzy control system FO Universal quantification PSL
296	Microsoft Word - LAW-Paper.doc Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2011-12-15 18:21:30 Theoretical computer science Logic in computer science Formal methods Computer security ACL2 Lisp Formal verification SPARK Domain-specific language Pointer Information security Programming language
297	The Why3 platform Version 0.82, December 2013 François Bobot1,2 Jean-Christophe Filliâtre1,2 Add to Reading List Source URL: why3.lri.fr Language: English - Date: 2013-12-12 05:50:31 Proof assistants Formal methods Logic in computer science Alt-Ergo Frama-C Theoretical computer science Coq Formal verification KeY IP
298	Recombinable Game Mechanics for Automated Design Support Add to Reading List Source URL: www.kmjn.org Language: English - Date: 2016-06-17 09:59:01 Leisure Game design Gaming Video game design Logic in computer science Theoretical computer science Video game development Game mechanics Event calculus Calculus Axiom Platform game
299	TERM EXTRACTION AND RAMSEY’S THEOREM FOR PAIRS ALEXANDER P. KREUZER AND ULRICH KOHLENBACH Abstract. In this paper we study with proof-theoretic methods the function(al)s provably recursive relative to Ramsey’s theore Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2013-09-25 08:51:12 Proof theory Computability theory Logic in computer science Mathematical logic Intuitionism Primitive recursive functional Dialectica interpretation Peano axioms Second-order arithmetic Reverse mathematics Combinatory logic Primitive recursive arithmetic
300	Semantics Engineering: more than just Theorem Proving Robby Findler Northwestern University & PLT Add to Reading List Source URL: www.eecs.northwestern.edu Language: English - Date: 2010-10-18 00:06:19 Software engineering Theoretical computer science Computing Logic in computer science Formal methods Programming language semantics Control flow Eval Functional languages Operational semantics Robert Bruce Findler Racket

UPDATE